문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 퍼스의 항진명제 (문단 편집) === 조건문의 조건을 작성한다(2번 라인) === 퍼스의 항진명제를 구성하는 것은, 결론적으로 [math(\rightarrow)]로 연결되어 있는 부분이다. 이를 사이에 두고, 화살표의 왼쪽에는 [math((p \rightarrow q)\rightarrow p)]가, 오른쪽에는 [math(p)]가 나타나고 있다. 즉, 이를 증명하기 위해서 조건인 것을 2번에서 가정[* 우측의 hyp 표시로부터 확인한다.]을 노드 2에 세우고, 그 안에서 결론으로 [math(p)]를 얻으려는 과정을 시작한다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기